Засобами метамови нормальних форм понять формалізовано широко відомий фрагмент знань про резолюційне доведення теорем в обчисленні висловлювань. Запропонований опис ілюструє використання цієї метамови для подання прикладних систем досить високої складності.

Виразні можливості метамови представлення знань нормальними формами понять, що безпосередньо інтерпретується апаратним процесором машини баз знань, досліджено відносно її використання для викладення формальних мов.

Розглянуто абстрактну архітектуру машини баз знань, які інтерпретуються апаратним процесором баз знань, і питання машинного представлення баз знань; сформульовано аксіоматичний базис та правила системи виведення теорем всякої прикладної теорії. Досліджено повноту і адекватність формальної інструментальної системи; наведено алгоритм інтерпретації знань, структуру і реалізацію процесора баз знань та відомості про системне програмне забезпечення й ефективність використання машини.

Розглянуто логічні форми визначення понять через форми простого категоричного, розподільного, сполучного, рекурсивного висловлювання; його ітерації, тотожності, існування або спільності.

Виразні можливості метамови представлення знань нормальними формами понять, що безпосередньо інтерпретуються апаратним процесором машини баз знань, досліджено стосовно формалізації деяких основних процедур роботи зі знаннями: введення і накопичення знань, редагування, ретрансляції машинного представлення знань та ретрансляції машинного представлення структури складових.

Рассмотрена проблемная ориентация компьютерных систем (КС) как явление, определяющее эффективность применения компьютеров. Впервые в компьютерной науке предложено архитектуру КС и системы обработки знаний строить адекватно структуре научной теории. Раскрыта сущность понятия "проблемная ориентация КС" согласно представлениям В.М.Глушкова. На основе достижений логико-гносиологических и лингвистических исследований определены наиболее существенные признаки идеала структуры научной теории. Освещены особенности разработки и исследования машины баз данных, проблемной ориентации КС обработки знаний. Предложено решение задачи по прогнозированию основных показателей производства проблемно-ориентированной КС. Обоснована экономическая целесообразность использования проблемно-ориентированной КС при создании прикладных систем. Сделана аналитическая оценка качественных показателей реализации компонентов КС исходя из требований ко всей системе в целом.

Впервые определена архитектура систем обработки знаний согласно структуре научных теорий. Синтезировано некоторое приближение к семантической модели идеала структуры научной теории, непротиворечиво сочетающее содержательность с формальной строгостью. Показано, что структура системы научных теорий представлена четырьмя блоками (знаков, синтаксиса языков, семантики и функций научных теорий), взаимосвязанных между собой, а также с источниками-приемниками знаковых образов и с реальным миром. Структура каждого блока имеет форму иерархической сети идентичных семантических модулей и содержит словарь и интерпретаторы концептуальных и эмпирических модулей синтаксиса, семантики и прагматики некоторой подтеории.

Освещена архитектура систем обработки знаний согласно синтеза структуры научных теорий. Синтезировано приближение к семантической модели идеала структуры научной теории, сочетающее содержательность с формальной строгостью на основе результатов логико-методологических и лингвистических исследований. Представлены блоки (знаки, синтаксис языка, семантики и функции научных теорий), взаимосвязанные между собой, с источниками-приемниками знаковых образов в структуре системы научных теорий. Рассмотрена форма иерархической сети идентичных семантических модулей, составленных из словарей и интерпретаторов концептуальных и эмпирических моделей синтаксиса, семантики и прагматики подтеории.

Розглянуто основні результати робіт і перспективні напрямки досліджень щодо проблемної орієнтації комп'ютерних комплексів. Наведені посилання на джерела в багатьох випадках використаня як приклади, що підтверджують власні уявлення автора про досягнення та тенденції розвитку цього напрямку досліджень. Обгрунтовано необхідність подальшого розвитку логічної моделі подання знань, зазначено, що комп'ютерний комплекс нової архітектури повинен складатись з двох середовищ - оброботки даних та обробки знань, які в процесі взаємодії вирішують єдине завдання обробки інформації, а також має бути оснащений системою обробки знань розробницького типу.

Розглянуто особливості етапів формалізованого проектування мікропрограмного пристрою, які має враховувати розроблювач у ході конвертації проекту на сучасну елементну базу.

Подано результати досліджень тенденцій еволюції комп'ютерних архітектур з позиції проблемної орієнтації. Сформульовано та обгрунтовано основні напрямки розвитку, перспективність і реалізованість високопродуктивних комп'ютерних систем з віртуальною архітектурою.

Предложено в качестве функций компьютерных систем рассматривать функции структуры научных теорий (ФСНТ). Все ФСНТ представлены в общем для всех научных теорий блоке функций. Раскрыт смысл всех ФСНТ, определены процессы аргументации, дедукции, индукции, объяснения, предсказания и понимания. Рассмотрены процедуры становления и эволюции всякой научной теории - синтеза структурных компонентов теории.

Синтезировано некоторое приближение к семантической модели идеала структуры языка научной теории, непротиворечиво сочетающей содержательность с формальностью. Структура языков научных теорий состоит из четырех блоков (знаков, синтаксиса языков, семантик и функций научных теорий) идентичной структуры в форме иерархической сети идентичных модулей и взаимосвязанных между собой, с источниками-приемниками знаковых образов и с реальным миром. Функционирование всякого модуля определяется решением задач анализа и синтеза структуры некоторого представления информации.

Изложено обобщение структуры и содержания задач анализа и порождения предложений языка, в совокупности исчерпывающих содержание коммуникативной функции языка. На примере задачи морфоанализа показаны сложность и стиль формального описания лингвистических знаний коммуникативной функции языка.

Решена задача проектирования специализированного процессора, предполагающая: расширение и выявление набора команд, их планирование, выделение аппаратных ресурсов, связывание команд, декомпозиция устройства управления, организация структуры памяти и распределения в ней.

Выполнен анализ специфики, достоинств и недостатков эвристических моделей представления знаний (продукционных, сетевых, фреймовых), а также использования различных вариантов метаязыкового представления. Показано, что ни одна из известных моделей представления знаний не имеет решающих преимуществ - у каждой свои существенные недостатки. Сделано заключение о целесообразности развития метаязыковых моделей представления знаний.

В новом способе представления и использования знаний знания предельно отделены от данных. В описании и в представлении знания и данные разделены физически: знания сконцентрированы в информационной структуре, представление же и обработка данных локализованы в терминальных алгоритмах. Эти две компоненты представлены двумя разными подпространствами единого пространства решения задач. Разделение пространств и механизмов обработки знаний и данных позволяет применить для каждого из них оптимальные аппаратные средства интерпретации при сохранении единства двуединного процесса решения задач.

Розглянуто дисциплінарну структуру, структуру організаційного управління наукою, ієрархію структури дійсності, питання еволюції Природи та її складових. Показано, що суть логіки процесу еволюції Природи полягає у безперервній творчості та відборі все нових структур ієрархії дійсності у контексті прямої і зворотної міжрівневої передачі результатів творчості, а також припливу ззовні матерії, енергії та/або інформації. Очевидно, що саме ця логіка повинна скласти основу еволюції прогресивних інтелектуальних систем, а інформаційна підтримка наукових досліджень повинна бути адекватною структурі ієрархії дійсності.

Предложен метаязык нормальных форм знаний, даны его текстовое и графическое описания. В текстовой и графической формах даны формальные описания множества лингвистических примеров, в том числе синтаксиса подмножества простых предложений английского языка и метаязыка Extended Backus-Naur Form. Сделано заключение об адекватности предложенного метаязыка возможностям человека представлять и использовать знания.

На примере интерпретатора универсальной машины Тьюринга (ИУМТ) доказана достаточность выразительных возможностей метаязыка нормальных форм знаний (НФЗ) для постановки и решения произвольной задачи, для которой есть решение, и, тем самым, универсальность машины, реализующей этот язык. В процессе обоснования универсальности метаязыка НФЗ даны формальные текстовое и графическое описания ИУМТ.